翻訳と辞書 Words near each other ・ standard generalised markup language ・ standard generalized markup language ・ standard i/o ・ standard input/output ・ standard instrument control library ・ standard interpretation ・ standard lisp ・ standard ml ・ standard ml of new jersey ・ standard operating environment ・ standard semantics ・ standard widget toolkit ・ stanford artificial intelligence laboratory ・ stanford artificial intelligence language ・ stanford research institute ・ stanford university ・ staple ・ star 0 ・ star network ・ starburst Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク standard semantics ： FOLDOC standard semantics The standard interpretation of a term in some language yields the term's standard denotational semantics, i.e. its "meaning". This is usually given by a semantic function which maps a term in the abstract syntax to a point in some domain. The domain is the interpretation of the term's type. The semantic function also takes an environment - a function which maps the free variables of the term to their meaning. We say that a domain point "denotes", or "is the denotation of", a term. A non-standard semantics results from some other interpretation, e.g. an abstract interpretation. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.